COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(load "umatch.125")
C00004 ENDMK
C⊗;
(load "umatch.125")
(car %/#p)
(car %/#d)
(step %umatch)
(trace %%umatch)

(%umatch '((all ?x (some ?y) (foo ?x ?y)))
	 '((all ?x (some ?y) (foo ?y ?x))))

(%umatch '((all ?x (some ?y) (foo ?x ?y)))
	 '((all ?x (some ?y) (foo ?X ?Y))))

(%umatch '(A ?X ?y) '(A ?y ?x))
(%umatch '(?X ?y) '(?y ?x))
(%umatch '(A *X B) '(A ?X ?Y B))

(%UMATCH '(A ?X B) '(A (?X) B))
(%UMATCH '(A ?X B) '(A ?X B))
(%umatch '(?q ?x) '(can-fly tweety))

(%umatch '((all ?x bird)(can-fly ?x))
	 '((ALL ?Y ?CLASS) (?Q ?Y)) )

(%umatch '((?a ?b ?c) ?d) '((all ?x ?foo) 4))

(let (fasload)(fasload umatch))
(%umatch-pair '((?a1 ?b1 ?c1) ?d1) '((?x1 ?y1 ?z1) ?w1))
(%umatch      '((?a1 ?b1 ?c1) ?d1) '((?x1 ?y1 ?z1) ?w1))
(%umatch '(($ch ?x) ?y)'(1 2))
(%umatch-PAIR '(= ($ch 1) 2)'(= ($ch ?x) ?y))
(%umatch-PAIR '(a  1 2)'(a ($ch ?x) ?y))
(%umatch-PAIR '(($CH 1) 2)'(($CH ?x) 2))

UMATCH-ALIST
(TRACE %%UMATCH)
(UNTRACE)